Containment for Conditional Tree Patterns
نویسندگان
چکیده
منابع مشابه
Containment for Conditional Tree Patterns
A Conditional Tree Pattern (CTP) expands an XML tree pattern with labels attached to the descendant edges. These labels can be XML element names or Boolean CTP’s. The meaning of a descendant edge labelled by A and ending in a node labelled by B is a path of child steps ending in a B node such that all intermediate nodes are A nodes. In effect this expresses the until B, A holds construction fro...
متن کاملContainment for Tree Patterns with Attribute Value Comparisons
Tree patterns (TP) is a simple and widely used fragment of XPath. The problem of containment in TP has been extensively studied previously. It was shown that the containment problem ranges from PTime to PSpace depending on the available constructs. In this paper we study the complexity of the containment problem for tree patterns with attribute value comparisons. We show that the complexity ran...
متن کاملDesign Patterns for Fault Containment
Fault containment is an important constituent of fault tolerance. Means for fault containment allow a system to limit the impact of manifested faults to some predefined system boundaries. This document presents some of the best known techniques for fault containment formatted as design patterns. These patterns are elicited from the areas of self-stabilization, specification closure and fault to...
متن کاملAuthorization Views and Conditional Query Containment
A recent proposal for database access control consists of defining “authorization views” that specify the accessible data, and declaring a query valid if it can be completely rewritten using the views. Unlike traditional work in query rewriting using views, the rewritten query needs to be equivalent to the original query only over the set of database states that agree with a given set of materi...
متن کاملConditional-suicide containment system for bacteria which mineralize aromatics.
A model conditional-suicide system to control genetically engineered microorganisms able to degrade substituted benzoates is reported. The system is based on two elements. One element consists of a fusion between the promoter of the Pseudomonas putida TOL plasmid-encoded meta-cleavage pathway operon (P(m)) and the lacI gene encoding Lac repressor plus xylS, coding for the positive regulator of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2015
ISSN: 1860-5974
DOI: 10.2168/lmcs-11(2:4)2015